{? 
  &1000_1111_q32;
  &1q32;
  &1000_1111_\
   7111_1111_\
   q32;
  &1000_1111_\
   1111_1111_\
   1111_1711q64;
?}